Stefan problem - PDFSEARCH.IO - Document Search Engine

Stefan problem
Results: 55

#	Item
31	It’s About Time: On Optimal Virtual Network Embeddings under Temporal Flexibilities ∗ Internet Matthias Rost∗ , Stefan Schmid∗† , Anja Feldmann∗ Network Architectures, Technische Universität Berlin, Germany Add to Reading List Source URL: www.net.t-labs.tu-berlin.de Language: English - Date: 2014-10-15 13:33:26 Network flow Model theory Embedding Mathematics Topology Maximum flow problem
32	A concept for parametric surface fitting which avoids the parametrization problem Helmut Pottmann and Stefan Leopoldseder Institute of Geometry, Vienna University of Technology, Wiedner Hauptstr. 8-10, A-1040 Wien, Austr Add to Reading List Source URL: www.geometrie.tuwien.ac.at Language: English - Date: 2006-11-09 02:17:47 Mathematics Surfaces 3D computer graphics Multivariate interpolation Non-uniform rational B-spline Parametric surface Curvature Quadratic B-spline Geometry Interpolation Splines
33	Stefan Meretz (September[removed]Meaning Concepts used in Psychology and Computer Sciences Abstract. This paper argues that the "meaning problem" cannot be treated within the cognitive framework. Many proposals using the Add to Reading List Source URL: www.kritische-informatik.de Language: English - Date: 2009-04-20 07:15:33 Science Semantics Logic Philosophical logic Semiotics Symbolic system Cognitive science Language Interpretation Philosophy of language Analytic philosophy Meaning
34	On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas ˇ ˇ Ondˇrej Cepek and Stefan Add to Reading List Source URL: www.cs.uic.edu Language: English - Date: 2013-12-21 14:10:02 Logic in computer science Boolean algebra Complexity classes NP-complete problems Conjunctive normal form Computational problems 2-satisfiability Boolean satisfiability problem Disjunctive normal form Theoretical computer science Computational complexity theory Applied mathematics
35	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke Stefan Frehse Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2011-09-06 04:07:56 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Solver Constraint satisfaction problem Theoretical computer science Applied mathematics Mathematics
36	Parallel Gesture Recognition with Soft Real-Time GuaranteesI Stefan Marr, Thierry Renaux, Lode Hoste, Wolfgang De Meuter Software Languages Lab, Vrije Universiteit Brussel, Belgium Abstract Using imperative programming t Add to Reading List Source URL: stefan-marr.de Language: English - Date: 2014-02-13 10:17:38 Problem solving Rete algorithm Inference engine Production system Business rules engine B-tree Scheduling Tree Gesture recognition Expert systems Decision theory Artificial intelligence
37	Limited Observability as a Constrint in Contract Design Stefan Krasa Steven R. Williams University of Illinois at Urbana−Champaign Add to Reading List Source URL: business.illinois.edu Language: English - Date: 2004-01-27 19:27:37 United States administrative law Organizational theory Principal–agent problem Government procurement in the United States Contract Futures contract Ordinal number Business Contract law Asymmetric information Legal documents
38	61 Stefan PETICA INRETS SOLVING AUTOMOBILE DRIVING PROBLEMS IN SITUATIONS OF Add to Reading List Source URL: www.ictct.org Language: English - Date: 2014-12-22 09:45:41 Educational psychology Cognition Neuropsychological assessment Behavioural sciences Mental processes Problem solving Uncertainty Heuristic Psychology Mind Science Ethology
39	Parallel Gesture Recognition with Soft Real-Time Guarantees Thierry Renaux Lode Hoste Stefan Marr Add to Reading List Source URL: stefan-marr.de Language: English - Date: 2013-01-09 13:11:03 Problem solving Rete algorithm Computing Inference engine Production system Business rules engine Directed acyclic graph Gesture recognition Deadlock Expert systems Decision theory Artificial intelligence
40	Analyzing Temporal Metrics of Public Transportation for Designing Scalable Delay-Tolerant Networks Adriano Galati, Vladimir Vukadinovic, Maria Olivares, Stefan Mangold Disney Research Stampfenbachstrasse[removed]Zurich, Add to Reading List Source URL: www.disneyresearch.com Language: English - Date: 2014-08-28 19:15:49 Theoretical computer science Networks Network analysis Network protocols Centrality Betweenness centrality Delay-tolerant networking Shortest path problem Network topology Graph theory Mathematics Network theory